Usenix Security '23 - Automated Analysis Of Protocols That Use Authenticated Encryption: How...